style: Shift dash running indicator dot up a pixel in high contrast mode

With the dot now being placed correctly at the bottom of the hover
highlight it is now also overlapping the 1px inset shadow used as
outline in high contrast mode. To avoid this, shift the dot up
accordingly.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3245>

diff --git a/data/theme/gnome-shell-sass/widgets/_dash.scss b/data/theme/gnome-shell-sass/widgets/_dash.scss
index d73f9cada12e006b4bf12daa0aca1004ff29d620..ef9e121c4fa041246400f70c826d92d818269cc0 100644 (file)
--- a/data/theme/gnome-shell-sass/widgets/_dash.scss
+++ b/data/theme/gnome-shell-sass/widgets/_dash.scss
@@ -71,7 +71,11 @@ $dash_spacing: $base_margin * 0.5;
     // running app dot
     .app-grid-running-dot {
       // manually position the dot within the dash item
-      offset-y: -$dash_padding;
+      @if $contrast == 'high' {
+        offset-y: -$dash_padding - 1px; // don't draw dot directly on inset
+      } @else {
+        offset-y: -$dash_padding;
+      }
     }
   }